Skip to content

Move Ron Ratovsky to Emeritus section#4928

Merged
ralfhandl merged 1 commit intomainfrom
editors-ron-emeritus
Sep 8, 2025
Merged

Move Ron Ratovsky to Emeritus section#4928
ralfhandl merged 1 commit intomainfrom
editors-ron-emeritus

Conversation

@ralfhandl
Copy link
Copy Markdown
Contributor

  • schema changes are included in this pull request
  • schema changes are needed for this pull request but not done yet
  • no schema changes are needed for this pull request

@ralfhandl ralfhandl requested review from a team as code owners September 8, 2025 14:18
@ralfhandl
Copy link
Copy Markdown
Contributor Author

@webron Working with you on the OpenAPI spec was a pleasure and an honor.

@handrews
Copy link
Copy Markdown
Member

handrews commented Sep 8, 2025

@webron thanks for all the great work! Working with you to figure out how to get updated JSON Schema into 3.1 is still a highlight of my time with this project.

@ralfhandl ralfhandl merged commit 72c0340 into main Sep 8, 2025
3 checks passed
@ralfhandl ralfhandl deleted the editors-ron-emeritus branch September 8, 2025 17:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants